predicative calculus

谓词演算